Service basic.solution
Description
Returns one possible worked-out solution starting with the current expression. The first optional argument lets you configure the strategy, i.e., make some minor modifications to it. Rules used and intermediate expressions are returned in a list.
Input
- StrategyConfiguration (optional)
- State
Output
- Derivation